(0 12 7 5 3)(1 15 4)(2 14 10 8 6)(9 13 11)
ALLOWS (11/8)-SEQUENCE
1: (0 1 3)
(0)(1 12 7 5 3 15 4)(2 14 10 8 6)(9 13 11)
2: (4 7 15)
(0)(1 12 7)(2 14 10 8 6)(3 15 5)(4)(9 13 11)
3: (2 14 6)
(0)(1 12 7)(2)(3 15 5)(4)(6 10 8)(9 13 11)(14)
4: (3 15 5)
(0)(1 12 7)(2)(3)(4)(5)(6 10 8)(9 13 11)(14)(15)